package systemfnomabss


trait PrettyPrinter { self: PrettyPrinter with AbstractSyntax =>
   def prettyPrint(t:LTerm):String = t.toString
   def prettyPrint(t:LType):String = t.toString
}